Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
301	PrimalScript 2014 is the leading Universal Scripting IDE for all your administrative and web-development tasks.  Supports over 50 languages and file types.  Supports 32 and 64 bit platform development.  Next gen Add to Reading List Source URL: www.sapien.com Language: English - Date: 2014-03-14 19:40:56 Scripting languages Internet Explorer Windows PowerShell Debuggers VBScript Shell JScript Integrated Scripting Environment Automise Computing Software engineering Computer programming
302	Nickle: Language Principles and Pragmatics∗ Bart Massey Computer Science Department Portland State University Portland, Oregon USA 97207–0751 [removed], http://www.cs.pdx.edu/~bart Add to Reading List Source URL: nickle.org Language: English - Date: 2006-04-02 22:00:18 Cross-platform software Data types Type theory Procedural programming languages Nickle Setjmp.h Programming language C Type system Software engineering Computing Computer programming
303	Consistency Analysis in Bloom: a CALM and Collected Approach Peter Alvaro, Neil Conway, Joseph M. Hellerstein, William R. Marczak {palvaro, nrc, hellerstein, wrm}@cs.berkeley.edu University of California, Berkeley ABSTRA Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-12-15 11:23:12 Object-oriented programming Data types Scripting languages Monotonic function Order theory Real analysis Set Ruby Dataflow Computing Software engineering Computer programming
304	NuSMV 2.3 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore, Marco Roveri, Simone Semprini and Andrey Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:41:53 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type Model checking C FALSE Computing Software engineering Software
305	The OCaml system release 4.02 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2014-08-29 11:29:05 Data types Functional languages OCaml Module Coupling Generic programming Set Software engineering Computing Computer programming
306	The ‘arrayjobx’ package Management of arrays in (La)TEX Zhuhan Jiang School of Computing and Mathematics University of Western Sydney Sydney Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2010-05-02 21:20:32 Data types Cross-platform software Procedural programming languages Digital typography TeX Typesetting C Array data type Macro Computing Software engineering Computer programming
307	YourCast: Software for Simultaneous Time Series Forecasting with Your Assumptions1 Federico Girosi2 , Gary King3 , and Konstantin Kashin4 October 6, [removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-10-06 09:09:20 Data types Type theory Cross-platform software Procedural programming languages Data file Files Batch file Linear regression Forecasting Computing Statistics Software engineering
308	The ‘arrayjob’ package Management of arrays in (La)TEX Zhuhan Jiang School of Computing and Mathematics University of Western Sydney Sydney Add to Reading List Source URL: ossm.utm.my Language: English - Date: 2010-05-02 18:30:06 Data types Cross-platform software Procedural programming languages Digital typography TeX Typesetting Array data type C Macro Computing Software engineering Computer programming
309	The ‘arrayjob’ package Management of arrays in (La)TEX Zhuhan Jiang School of Computing and Mathematics University of Western Sydney Sydney Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2010-05-02 18:30:06 Data types Cross-platform software Procedural programming languages Digital typography TeX Typesetting Array data type C Macro Computing Software engineering Computer programming
310	NuSMV 2.2 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:53:02 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type C Model checking FALSE Computing Software engineering Software

UPDATE